Incrementalization of Static Analyses

Modern development environments integrate various static analyses into the build process. Analyses that require the analysis of the whole project whenever the project changes are impractical in this context. Manual incrementalization is elaborate, in particular if the set of analyses is supposed to be extensible. We present an approach to automatic incrementalization of analyses that are specified as logic queries and evaluated using incremental tabled evaluation, a technique for incremental evaluation of logic programs. The approach has been implemented and integrated into the Eclipse IDE. Our measurements show that this technique is effective for a broad range of static analyses.